Nuprl Definition : stutter-state
11,40
postcript
pdf
stutter-state(
s
) == <shift-state(
s
), null, []>
latex
Definitions
shift-state(
s
)
,
<
a
,
b
>
,
null
,
[]
FDL editor aliases
stutter-state
origin